Knihy od autora Bernhard Beckert

Zobrazeno 1 – 11 z 11 výsledků

1. 

   Logic of Software. A Tasting Menu of Formal Methods

   Einar Broch Johnsen, Richard Bubel, Bernhard Beckert | Springer International Publishing AG, 2022

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit
2. 

   Formal Verification of Object-Oriented Software

   Bernhard Beckert | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Skladem u dodavatele - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1355 Kč

   Koupit
3. 

   Tests and Proofs

   Bernhard Beckert, Reiner Hähnle | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
4. 

   Electronic Voting

   Robert Krimmer, Melanie Volkamer, Veronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid | Springer Nature Switzerland AG, 2019

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1370 Kč

   Koupit
5. 

   Verification of Object-Oriented Software. The KeY Approach

   Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit
6. 

   Formal Verification of Object-Oriented Software

   Bernhard Beckert, Ferruccio Damiani, Dilian Gurov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1088 Kč

   Koupit
7. 

   Deductive Software Verification: Future Perspectives

   Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, Richard Bubel | Springer Nature Switzerland AG, 2020

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
8. 

   Electronic Voting

   Melanie Volkamer, Bernhard Beckert, Mikhel Solvak, Oksana Kulyk, David Duenas-Cid, Ralf Küsters | Springer Nature Switzerland AG, 2020

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
9. 

   Formal Methods for Components and Objects

   Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
10. 

    Automated Reasoning with Analytic Tableaux and Related Methods

    Bernhard Beckert | Springer, Berlin, 2005

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1182 Kč

    Koupit
11. 

    Deductive Software Verification - The KeY Book

    Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich | Springer International Publishing AG, 2016

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    2827 Kč

    Koupit

Expresní doručení do druhého dne jen za 54 Kč Zjistěte více